<?php
DOMDocument::saveHTMLFile('foo');
?>
